Contacto
atoval@um.es
+34 86888 4603
atoval@um.es+34 86888 4603
Tutorías 
Lunes 9:30 - 12:30, 17:00 - 18:30
Martes 16:45 - 18:15
Lugar: despacho del profesor
Asignaturas Impartidas
01CF - Técnicas formales en ingeniería del software 
5º - 1er
5º - 1er
Líneas de investigación
Especificaciones Formales
Ingeniería de Requisitos
Copyright 2009